(set-logic ALL)
(set-info :status sat)
(declare-fun A () (Table String))
(declare-fun B () (Table Bool))
(declare-fun C () (Table String Bool))
(declare-fun x () (Tuple String))
(declare-fun y () (Tuple Bool))
(assert (= (bag.count x A) 5))
(assert (= (bag.count y B) 4))
(assert (= C (table.product A B)))
(check-sat)
